Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
91	Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks Umer Liqat1,3 Pedro L´ opez-Garc´ıa1,2 Add to Reading List Source URL: www.sci.unich.it - Date: 2017-10-23 05:13:15
92	A Simple and Extensible Approach to Program Analysis David Darais University of Maryland Add to Reading List Source URL: david.darais.com - Date: 2017-10-17 15:29:34
93	Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica School of Computer Science University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2009-08-22 10:16:19
94	Ecient On-the- y Analysis of Program? Behavior and Static Cache Simulation Frank Mueller and David B. Whalley Dept. of Computer Science, Florida State University, Tallahassee, FLe-mail: Add to Reading List Source URL: www.cs.fsu.edu - Date: 2016-05-21 11:32:34
95	Building Java Program Analysis Tools using Javana Dries Buytaert Jonas Maebe Lieven Eeckhout Add to Reading List Source URL: dri.es - Date: 2009-01-20 13:40:20
96	Provisional program 8 th Workshop “ Combined Analysis Using X-rays, electrons and Neutron Scattering ” July 3 rd - 7 th, 2017, Caen (France) Monday Tuesday Add to Reading List Source URL: www.ecole.ensicaen.fr - Date: 2017-07-03 04:48:07
97	Derivatives in Program Analysis Albert-Ludwigs-Universit¨ at Freiburg Peter Thiemann1 Add to Reading List Source URL: proglang.informatik.uni-freiburg.de - Date: 2017-10-04 11:31:51
98	23 Proceedings of the IEEE VIS 2016 Arts Program, VISAP’16: Metamorphoses, Baltimore, Maryland, October 23th-28th, 2016 Staged Analysis: From Evocative to Comparative Visualizations of Urban Mobility Add to Reading List Source URL: uclab.fh-potsdam.de - Date: 2016-10-05 09:16:08
99	Appendix A Yamhill County Oregon Smart Sentencing Initiative Early Defendant Analysis State Justice Reinvestment Program Arraignment on Indictment Add to Reading List Source URL: assets.documentcloud.org - Date: 2016-05-22 22:35:04
100	Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis Sergey Mechtaev Jooyong Yi Add to Reading List Source URL: www.comp.nus.edu.sg - Date: 2016-02-22 21:37:04